Scheme theory - PDFSEARCH.IO - Document Search Engine

Scheme theory
Results: 835

#	Item
131	Sheaves & Sensors Robert Ghrist joint work with Yuliy Baryshnikov, Bell Labs hd Add to Reading List Source URL: icac2008.acis.ufl.edu Language: English - Date: 2012-09-12 09:34:33 Algebraic topology Algebraic geometry Scheme theory Homological algebra Sheaf Sheaf theory Euler characteristic Proj construction Ample line bundle Abstract algebra Topology Mathematics
132	Well-Shaped Macros Ryan Culpepper, Matthias Felleisen Northeastern University Boston, MAEmail: Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:30 Type theory Transformation languages Procedural programming languages Functional languages Lisp programming language Macro Hygienic macro Scheme C preprocessor Software engineering Computing Computer programming
133	Learning Semantic String Transformations from Examples ∗ Rishabh Singh Microsoft Research, Redmond, WA Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2012-04-08 00:48:53 Automata theory Mathematics String Comparison of programming languages Regular expression Scheme Natural transformation Finite-state machine S-expression Computing Formal languages Software engineering
134	A pattern matcher for miniKanren or How to get into trouble with CPS macros Andrew W. Keep Michael D. Adams Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-10 19:22:00 Type theory Transformation languages Procedural programming languages Logic programming Source code Hygienic macro Scheme Prolog Macro Computing Software engineering Computer programming
135	A Guide to VLISP, A Veried Programming Language Implementation J. D. Guttman L. G. Monk Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:41 Procedural programming languages Programming language implementation Logic in computer science PreScheme Scheme programming language Compiler construction Programming language Compiler Denotational semantics Software engineering Computing Programming language theory
136	On Two Class-Constrained Versions of the Multiple Knapsack Problem ∗ Hadas Shachnai † Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2013-04-15 10:32:13 Operations research Combinatorial optimization NP-complete problems Mathematical optimization Dynamic programming Knapsack problem Job shop scheduling Optimization problem Polynomial-time approximation scheme Theoretical computer science Computational complexity theory Applied mathematics
137	README For the hyper-spectral data compression SW. Release Note 1 V1.0: March 09, 2010 The SW implements the hyper-spectral data compression predictor scheme under selection consideration by the CCSDS hyper-/multi-spec Add to Reading List Source URL: opensource.gsfc.nasa.gov. Language: English - Date: 2010-03-12 09:43:08 Data compression Audio engineering Computer storage Digital television Video compression Golomb coding Lossless data compression Entropy encoding Hyperspectral imaging Science Information theory Technology
138	Comparison of Dynamic Diffusion with an Explicit Difference Scheme for the Schrödinger Equation Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2014-03-11 12:49:15 Quantum decoherence Introduction to quantum mechanics Quantum potential Measurement problem Quantum hydrodynamics Creation and annihilation operators De Broglie–Bohm theory Quantum superposition Physics Quantum mechanics Schrödinger equation
139	CONVERGENCE OF A MONTE CARLO METHOD FOR FULLY NON-LINEAR ELLIPTIC AND PARABOLIC PDES IN SOME GENERAL DOMAINS ARASH FAHIM Abstract. In this paper, we introduce a probabilistic numerical scheme for a class of parabolic an Add to Reading List Source URL: www.math.fsu.edu Language: English - Date: 2013-08-28 17:27:49 Mathematics Statistics Spectral theory Character encoding Digital typography Mathematical analysis Normal distribution Partial differential equation
140	CCCG 2013, Waterloo, Ontario, August 8–10, 2013 Privacy by Fake Data: A Geometric Approach Victor Alvarez∗ Erin Chambers† Add to Reading List Source URL: www.cccg.ca Language: English - Date: 2013-08-11 21:51:56 Complexity classes Structural complexity theory Mathematical optimization Approximation algorithms Ε-net NP Polynomial-time approximation scheme Reduction Packing problem Theoretical computer science Computational complexity theory Applied mathematics

UPDATE